Solve the equation sin x = sqrt(3)